Generic Axiomatized Digital Surface-Structures
نویسندگان
چکیده
منابع مشابه
Generic axiomatized digital surface-structures
In digital topology, Euclidean n-space Rn is usually modeled either by the set of points of a discrete grid, or by the set of n-cells in a convex cell complex whose union is Rn. For commonly used grids and complexes in the cases n = 2 and 3, certain pairs of adjacency relations (κ, λ) on the grid points or n-cells (such as (4,8) and (8,4) on Z2) are known to be “good pairs”. For these pairs of ...
متن کاملContinuous analogs of axiomatized digital surfaces
In image processing, workers sometimes wish to display three dimensional objects on a CRT screen, and so tools for detecting surfaces by computer need to be developed. In recent papers [D. G. Morgenthaler and A. Rosenfeld, Information and Control 51, 1981, 227-247; G. M. Reed and A. Rosenfeld, submitted for publication; G. M. Reed, Computer Vision, Graphics, and Image Processing 25, 1984, 226-2...
متن کاملSimple structures axiomatized by almost sure theories
In this article we give a classi cation of the binary, simple, ω−categorical structures with SU−rank 1 and trivial pregeometry. This is done both by showing that they satisfy certain extension properties, but also by noting that they may be approximated by the almost sure theory of some sets of nite structures equipped with a probability measure. This study give results about general almost sur...
متن کاملFOIL Axiomatized
In an earlier paper, [5], I gave semantics and tableau rules for a simple first-order intensional logic called FOIL, in which both objects and intensions are explicitly present and can be quantified over. Intensions, being non-rigid, are represented in FOIL as (partial) functions from states to objects. Scoping machinery, predicate abstraction, is present to disambiguate sentences like that ass...
متن کاملGeneric Structures ∗
In this paper, the theory of generic structures is put in a general, unified framework. The framework is applied to Hrushovski’s [8] universal domains and Poizat’s [11] bicoloured fields. Of particular interest will be the conditions under which generic structures are saturated.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80979-4